monads相关论文
当前尚无一种有效的治理压载水外来入侵有害生物的方法，羟基氧化电位高达2．80V，它与压载水中入侵的有害细菌，微藻生物的反应属于游离基......
根据单子和余单子的一些基本知识及半单单子的定义,给出了余半单余单子的定义.得到了与余半单余单子定义等价的2个命题,并给予证明......
提出一种基于程序模块单子语义的新动态切片方法--模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的......
根据代数和余代数的一些基本知识,可分单子的定义和与其定义等价的两个命题,类似给出了余可分余单子的定义及与定义等价的两个命题......
Program slicing is a well-known program analysis technique that extracts the ele-ments of a program related to a particu......
本文主要通过揭示标准分析内在的矛盾性,简介非标准分析的基本精神实质,说明非标准分析是标准分析的必然发展。从而在更高层次上认......
针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题，利用Monads及其与共代数函子之间的分配律给出了共归纳数......
